Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
251	A linear type system for pi calculus joint work with Vasco T. Vasconcelos Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 06:07:57 Software engineering Π-calculus Type system ALGOL 68 Linear type system Calculus System F Function Type theory Programming language theory Mathematics
252	Chapter 15: Draw and Impress Documents 375 Chapter 15 Draw and Impress Documents Add to Reading List Source URL: www.hentzenwerke.com Language: English - Date: 2007-03-21 22:30:39 Curves Ellipse Property Area Function Pi Drawing Enumerated type Geometry Mathematics Mathematical analysis
253	Good Advice for Type-directed Programming Aspect-oriented Programming and Extensible Generic Functions Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Computer programming Data types Functional programming Aspect-oriented programming Standard ML ATS Anonymous function Polymorphism Type system Software engineering Type theory Computing
254	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
255	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science
256	Pathogenic adaptation of intracellular bacteria by rewiring a cis-regulatory input function Suzanne E. Osbornea, Don Walthersb, Ana M. Tomljenovica, David T. Muldera, Uma Silphaduanga, Nancy Duonga, Michael J. Lowdenc, M Add to Reading List Source URL: www.botany.unimelb.edu.au Language: English - Date: 2009-06-03 23:13:15 Type three secretion system T cell Promoter Regulatory sequence Cis-regulatory module Virulence Salmonella enterica Biology Microbiology Gene expression
257	pMatlab v2.0 Function Reference Hahn Kim, Nadya Travinin, Jeremy Kepner {hgk, nt, kepner}@ll.mit.edu Table of Contents pMatlab ............................................................................................. Add to Reading List Source URL: www.ll.mit.edu Language: English - Date: 2012-10-11 10:51:19 Array programming languages Numerical linear algebra MATLAB Disaster Medical Assistance Team Array programming National Disaster Medical System Array data type MathWorks Software Federal Emergency Management Agency Computing
258	Happy Families 1 Mr Linear is a family man. His mathematical name is y = x or f(x) = x. Using desmos.com type in his name and have a look at his shape. Mrs Linear is called y = x + 1 and their children are y = x + 2, y Add to Reading List Source URL: www.aucklandmaths.org.nz Language: English - Date: 2014-04-10 05:34:24 Elementary mathematics Function Mathematical analysis Differential calculus Asymptote Derivative Mathematics Functions and mappings Analytic geometry
259	TD ARCNET Adaptor • Multi-Function Ultrasonic Inspection Systems The new USB to ARCNET adaptor is designed for high speed ARCNET communications and replaces the PCMCIA Type II controller for use with TD Pocket-Scan sy Add to Reading List Source URL: www.technologydesign.com Language: English - Date: 2014-07-10 10:48:40 PC Card Local area network Computer hardware ARCNET Universal Serial Bus
260	Estimating a Taylor-type monetary policy reaction function for the case of a small developing economy José R. Sánchez-Fung 1 February 2000 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2001-01-17 19:04:32 Money Taylor rule Inflation Monetary economics Monetary inflation Macroeconomic model Interest Interaction between monetary and fiscal policies Phillips curve Macroeconomics Monetary policy Economics

UPDATE